The foundational problem of logic
نویسندگان
چکیده
منابع مشابه
The foundational problem of logic
The construction of a systematic philosophical foundation for logic is a notoriously difficult problem. In Part One Isuggest that he problem is in large part methodological, having to do with the common philosophical conception f "providing a foundation". I offer an alternative to the common methodology which combines a strong foundational requirement (veridical justification) with the use of n...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولFoundational Evidentialism and the Problem of Scatter
a 3 : 2 pp. 89 – 106, 2007 FOUNDATIONAL EVIDENTIALISM AND THE PROBLEM OF SCATTER
متن کاملFoundational Proof Certificates in First-Order Logic
It is the exception that provers share and trust each others proofs. One reason for this is that different provers structure their proof evidence in remarkably different ways, including, for example, proof scripts, resolution refutations, tableaux, Herbrand expansions, natural deductions, etc. In this paper, we propose an approach to foundational proof certificates as a means of flexibly presen...
متن کاملLogic-based Remodeling of the Digital Anatomist Foundational Model
This paper describes a development cycle for the engineering of large knowledge bases: A graphical tool is used for editing and the content is transformed into a logic-based representation language. This representation is used to check the consistency of the knowledge base as well as to facilitate the reviewing process. Showing the usefulness of this approach, aspects of the Digital Anatomist F...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of Symbolic Logic
سال: 2013
ISSN: 1079-8986,1943-5894
DOI: 10.2178/bsl.1902010